Higher-order function - PDFSEARCH.IO - Document Search Engine

Higher-order function
Results: 126

#	Item
51	How to Create XSLT Functions that Manipulate Functions (a.k.a. Higher-Order Functions) Roger L. Costello SeptemberIntroduction Add to Reading List Source URL: www.xfront.com Language: English - Date: 2010-09-26 11:23:39 Higher-order functions Subroutines Functional languages Functional programming Lambda calculus XSLT Function C Map Computing Software engineering Computer programming
52	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Function Model theory Linear temporal logic Μ operator Logic Mathematics Mathematical logic
53	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
54	J. Functional Programming 9 (4): 355–372, Julyc 1999 Cambridge University Press ! Printed in the United Kingdom Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-18 03:41:36 Recursion Higher-order functions Functions and mappings Theory of computation Computability theory Fold Map Primitive recursive function Append Computing Software engineering Computer programming
55	A Survey of Functional Reactive Programming Concepts, Implementations, Optimizations, and Applications Edward Amsden Rochester Institute of Technology Add to Reading List Source URL: www.cs.rit.edu Language: English - Date: 2011-05-20 17:05:00 Functional programming Evaluation strategy Higher-order functions Functional reactive programming Reactive programming Map Orc Function composition ALGOL 68 Software engineering Computing Computer programming
56	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Extended Abstract)? Jasmin Christian Blanchette and Tobias Nipkow Fakult¨at f¨ur Informatik, T. U. M¨unchen, Garching, Ger Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Programming paradigms Formal methods Mathematical proofs Lambda calculus Function Well-formed formula Constructible universe Logic programming Relational model Mathematics Logic Mathematical logic
57	The Ruby Intermediate Language ∗ Michael Furr Jong-hoon (David) An Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2009-11-19 15:40:34 Scripting languages Higher-order functions Subroutines Functional programming Lambda calculus Eval Ruby Main function Dataflow Software engineering Computing Computer programming
58	19 Implementing Higher-Order Functions This chapter is about writing higher-order procedures—that is, procedures that implement higher-order functions. We are going to study the implementation of every, keep, and Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:18 Lisp programming language Procedural programming languages Functional programming Functional languages Data types Fortran Lisp Function Cons Computing Software engineering Computer programming
59	A Practical and Flexible Flow Analysis for Higher-Order Languages J. Michael Ashley University of Kansas, Lawrence, Kansas and R. Kent Dybvig Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 1998-12-02 10:47:08 Greek alphabet Function Abstract interpretation Valuation Data-flow analysis Mathematics Algebraic geometry Circumflex
60	Part III Functions as Data By now you’re accustomed to the idea of expressing a computational process in terms of the function whose value you want to compute, rather than in terms of a sequence of actions. But you pro Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:14 Subroutines Functions and mappings Functional programming Function Mathematical logic Sentence Parameter Higher-order function Algorithm Software engineering Computer programming Computing